Pattern theory

Results: 752



#Item
401C++ / Data types / Functional programming / Type theory / Theoretical computer science / ATS / Polymorphism / Pattern matching / C++ classes / Software engineering / Computing / Computer programming

I DRIS — Systems Programming Meets Full Dependent Types Edwin C. Brady School of Computer Science, University of St Andrews, St Andrews, Scotland. Email: [removed] Abstract

Add to Reading List

Source URL: eb.host.cs.st-andrews.ac.uk

Language: English - Date: 2010-11-18 11:51:31
402Functional languages / Procedural programming languages / Data types / Type theory / OCaml / Algebraic data type / Caml / ML / Pattern matching / Software engineering / Computer programming / Computing

Algebraic data types The case against null Motivation ● ●

Add to Reading List

Source URL: files.meetup.com

Language: English - Date: 2014-07-01 06:57:43
403Architectural design / Aesthetics / Creativity / Design thinking / Architectural theory / Educational technology / Pattern / Rubric / Design / Visual arts / Structure

Informed Design Rubric * Teachers can use the Informed Design Rubric to assess students’ abilities to do design practices in an “informed” way. First, read over the contrasting descriptions of beginner designers an

Add to Reading List

Source URL: www.nsta.org

Language: English - Date: 2012-12-20 14:48:49
404Markov models / Estimation theory / Statistical theory / Expectation–maximization algorithm / Activity recognition / Hidden Markov model / Maximum likelihood / Semi-supervised learning / Pattern recognition / Statistics / Machine learning / Artificial intelligence

Recognizing Activities in Multiple Contexts using Transfer Learning T.L.M. van Kasteren and G. Englebienne and B.J.A. Kr¨ose Intelligent Systems Lab Amsterdam (ISLA) Science Park, Kruislaan 403, 1098 SJ Amsterdam, The N

Add to Reading List

Source URL: www.aaai.org

Language: English - Date: 2008-10-15 16:33:56
405Functions and mappings / Pattern matching / Mathematica / Function / Factorial / Expression / Exponentiation / Map / Type theory / Mathematics / Mathematical software / Computing

4. Mathematica Programming Science is what we understand well enough to explain to a computer. Art is everything else we do. — Donald Knuth — Foreword to the book A=B. 4.1 Introduction Mathematica is a high-level com

Add to Reading List

Source URL: ftp.pd.uwa.edu.au

Language: English - Date: 2009-05-26 22:49:32
406Science / Management / Military theory / Military doctrine / Military tactics / John Boyd / Scientific method / OODA loop / Operational mobility / Military science / Military strategy / Military

he pattern of our military interven- tions in the late 20th century and more retions over the last 50 years has been to cently of our intervention in Afghanistan respond—before matters get worse— and Iraq. Some impor

Add to Reading List

Source URL: www.ausa.org

Language: English - Date: 2011-08-12 11:23:17
407Regular expressions / Mathematics / Computing / Automata theory / Hexadecimal / Control character / Pi / Character / Augmented Backus–Naur Form / Mathematical analysis / Formal languages / Pattern matching

Anchors Sample Patterns ^

Add to Reading List

Source URL: www.addedbytes.com

Language: English - Date: 2014-08-20 05:15:31
408Regular expressions / Formal languages / Pattern matching / Automata theory / Perl / TRE / Switch statement / Parsing / Perl 6 rules / Software engineering / Computing / Computer programming

Perl version[removed]documentation - perlreguts NAME perlreguts - Description of the Perl regular expression engine. DESCRIPTION

Add to Reading List

Source URL: perldoc.perl.org

Language: English - Date: 2014-10-03 15:12:58
409Neuroscience / Mind / Neuropsychology / Segmentation / Video tracking / Feature integration theory / Anne Treisman / Motion analysis / Attention / Cognitive science / Image processing / Computer vision

OBJECT TRACKING BASED ON TIME-VARYING SALIENCY Sheng Xu a, *, Hong Huo a, Fang Tao a a Institute of Image Processing and Pattern Recognition, Shanghai Jiao Tong University, No.800 Dongchuan Road, Shanghai, China - affine

Add to Reading List

Source URL: www.isprs.org

Language: English - Date: 2012-10-18 13:44:27
410Strings / Knots / Recreation / Learning / Chinese art / Knot theory / Scoutcraft / Knot / Scouting

Braided Leaves Pattern Friendship Bracelet Instructions Level: Intermediate BEFORE YOU BEGIN* you will need to know how to make a Right Hand Double Knot and a Left Hand Double Knot. You can see these instructions at myfb

Add to Reading List

Source URL: friendship-bracelet-patterns.wpengine.netdna-cdn.com

Language: English - Date: 2012-12-30 11:07:48
UPDATE